COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	% Test of plain TeX math symbol constructions
C00006 ENDMK
C⊗;
% Test of plain TeX math symbol constructions

\def\newfonts{
\font \newtenrm=cmr10[cm,dek]
\font \newtensy=cmsy10[cm,dek]
\font \newteni=cmmi10[cm,dek]
\font \newtenex=cmex10[cm,dek]
\textfont0=\newtenrm
\textfont1=\newteni
\textfont2=\newtensy
\textfont3=\newtenex

\newtenrm
}

% Choose one of the following:
%\newfonts ``New fonts''
 ``Old fonts''

\raggedright \rightskip=2em plus 5em minus 2em

$\hbar \not\equiv B$, but $\sqrt C \mapsto \sqrt x$,
$Z \hookrightarrow W$,       $Z \hookleftarrow W$,
$Z \longmapsto W$,   $Z \bowtie W$,  $Z \models W$,
$Z \Longrightarrow W$,       $Z \longrightarrow W$,
$Z \longleftarrow W$,        $Z \Longleftarrow W$,
$Z \longleftrightarrow W$,   $Z \Longleftrightarrow W$,
$\overbrace{\hbox{very long things for testing}}$,
$\underbrace{\hbox{very long things for testing}}$,
$Z \choose W$, $Z \brack W$, $Z \brace W$, $Z \sqrt W$,
$Z \cong W$,   $Z \notin W$, $Z \rightleftharpoons W$,
$\widehat Z$,    $\widehat{ZW}$,    $\widehat{Z+W}$,
$\widetilde Z$,  $\widetilde{ZW}$,  $\widetilde{Z+W}$.

\def\sizetest#1#2{$$
  \Bigggl{#1}\bigggl{#1}\Biggl{#1}\biggl{#1}\Bigl{#1}\bigl{#1}\left#1
  \bullet
  \right#2\bigr{#2}\Bigr{#2}\biggr{#2}\Biggr{#2}\bigggr{#2}\Bigggr{#2}$$}
\def\biggg#1{{\hbox{$\left#1\vbox to20.5pt{}\right.$}}}
\def\bigggl{\mathopen\biggg}  \def\bigggr{\mathclose\biggg}
\def\Biggg#1{{\hbox{$\left#1\vbox to23.5pt{}\right.$}}}
\def\Bigggl{\mathopen\Biggg}  \def\Bigggr{\mathclose\Biggg}

\sizetest ()     \sizetest []        \sizetest \lgroup\rgroup
\sizetest \lmoustache\rmoustache     \sizetest \vert\Vert
\sizetest \arrowvert\Arrowvert       \sizetest \uparrow\downarrow
\sizetest \updownarrow\Updownarrow   \sizetest \Uparrow\Downarrow
\sizetest \bracevert{\delimiter"342} \sizetest \backslash/
\sizetest \langle\rangle             \sizetest \lbrace\rbrace
\sizetest \lceil\rceil               \sizetest \lfloor\rfloor

$$\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{-1}}}}}}}}}$$

\def\dobig{\do\bigvee \do\bigwedge \do\bigotimes \do\bigoplus \do\bigodot
 \do\bigcap \do\bigcup \do\biguplus \do\bigsqcup
 \do\int \do\ointop \do\smallint \do\prod \do\coprod \do\sum}
\def\do#1{#1_a↑b A} $\dobig$ $$\dobig$$

\bye